算术可定义性arithmetical: adj. 算术(上)的。 adv. -ly 用算术,算 ...definability: 可被定义的状况; 可定义性arithmetical: adj. 算术(上)的。 adv. -ly 用算术,算术上。 finite definability: 有限可定义性implicit definability: 隐含可定义性下载手机词典可随时随地查词查翻译